On Continuity of Accessible Functors

نویسندگان

چکیده

We prove that for each locally $\alpha$-presentable category $\mathcal K$ there exists a regular cardinal $\gamma$ such any $\alpha$-accessible functor out of (into another category) is continuous if and only it preserves $\gamma$-small limits; as consequence we obtain new adjoint theorem specific to the functors K$. Afterwards generalize these results enriched setting deduce, among other things, small V$-category accessible Cauchy complete.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Elementary Equivalences and Accessible Functors

We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to L∞λ-equivalence and L∞λ-elementary embedding for categories of structures in a language of arity less than λ, and interacts well with functors and λ-directed colimits. We recover and extend results of Feferman and Eklof on “local functors” without fixing a language in advance....

متن کامل

Monoidal Company for Accessible Functors

Distributive laws between functors are a fundamental tool in the theory of coalgebras. In the context of coinduction in complete lattices, they correspond to the so-called compatible functions, which enable enhancements of the coinductive proof technique. Amongst these, the greatest compatible function, called the companion, has recently been shown to satisfy many good properties. Categorically...

متن کامل

Coequational logic for accessible functors

Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently, covarieties are classes of H-coalgebras that can be presented by coequations. Adámek introduced a logic of coequations and proved soundness and completeness for all polynomial functors on the category of sets. Here th...

متن کامل

Accessible functors and final coalgebras for named sets

In the field of programming language semantics and concurrency theory, wide attention is paid to the so called name-passing calculi, i.e. formalisms where name generation and passing play a fundamental role. A prototypical example is provided by the π-calculus. The peculiarities of name passing required to refine existing theoretical models and to invent new ones, such as coalgebras over preshe...

متن کامل

On the Smoothness of Functors

In this paper we will try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should has.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Applied Categorical Structures

سال: 2022

ISSN: ['1572-9095', '0927-2852']

DOI: https://doi.org/10.1007/s10485-022-09677-x